]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d73546) | patch
Make gnome-shell-extension-prefs a binary executable
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 6 Dec 2013 20:20:03 +0000 (21:20 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 16 Jan 2014 14:33:01 +0000 (09:33 -0500)
commit2dd7db480835e702f53623dbdb776e6aff63e08d
tree061ee53ba9ce8c64cd0664aca08c0aaa8c751252tree | snapshot
parent1d7354696ef2514ea9d35ca39c3f64027a07da00commit | diff
Make gnome-shell-extension-prefs a binary executable

Since commit 1ebb162a00bf6c4b0 moved JS sources into resources,
the extension-prefs tool was broken. To fix it, we would either
need to generate an external GResource in addition to the generated
C code and teach gjs-console about loading it before evaluating
the script, or turn gnome-shell-extension-prefs into a binary with
the JS resources compiled in.

https://bugzilla.gnome.org/show_bug.cgi?id=722334
src/Makefile.am diff | blob | history
src/gnome-shell-extension-prefs.c [new file with mode: 0644] blob
src/gnome-shell-extension-prefs.in [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.